https://www.passeidireto.com/pergunta/102434258/def-1-sejam-a-b-∈-n-dizemos-que-a-≤-b-se-existe-p-∈-n-tal-que-b-a-p-sejam-a-b-c-